cd/entity/Hierarchical Triangular Mesh· home› entities› Hierarchical Triangular Mesh

grep -l @hierarchical triangular mesh /news/*.json | wc -l → 1

Hierarchical Triangular Mesh

mentions 1 type Person feed RSS

// recent coverage 1 mentions

06:41

2026-07-08

github.com

ai-agents

My Name Is SiMON

FSL, a governed symbolic language for making autonomous-agent claims inspectable, has released version 1.1.8 of its public package, which includes 32 theorem records with 31 machine-checked by Lean 4 …

// co-occurs with top 4 entities

FSL 1 SiMON 1 Lean 4 1 HTM 1